Nuprl Definition : compat 11,40

compat(Tl1l2) == iseg(Tl1l2 iseg(Tl2l1
latex


DefinitionsP  Q, iseg(Tl1l2)
FDL editor aliasescompat

origin